Las autoridades dicen que un empleado de un puerto deportivo de la Base Naval en la ciudad de Panamá, Florida, estaba nadando durante su hora de almuerzo cuando fue atacado por un tiburón el lunes. El hombre sufrió heridas en ambos brazos y fue trasladado a un hospital cercano.