Officials say an employee at a Navy Base marina in Panama City, Florida, was taking a swim during his lunch break when he was attacked by a shark on Monday. The man sustained injuries to both arms and was taken to a nearby hospital.