U.S. resumes arms shipments to Ukraine after temporary pause