Autoridades dizem que um funcionário de uma marina da Base Naval na Cidade do Panamá, Flórida, estava nadando durante o horário de almoço quando foi atacado por um tubarão na segunda-feira. O homem sofreu ferimentos nos dois braços e foi levado a um hospital próximo.