Officials said the employee was swimming near a marina at Naval Support Activity Panama City when the attack occurred.

The employee, who was not identified, was swimming with a colleague during his lunch break Monday when the attack occurred.

Officials said the employee was swimming near a marina at Naval Support Activity Panama City when the attack occurred.