Multiple outlets report a shark attack in Florida that leaves a US Navy base worker seriously injured after being mauled while swimming during his lunch break. Both sources say the incident is captured on video, showing the attack unfolding during what is described as a lunchtime swim. The worker is reported to be in critical condition following the attack. The accounts are consistent on the key details: the location is Florida, the victim is a US Navy base worker, the attack occurs while the victim is in the water for a midday swim, and the assault is recorded on video. Both reports include warnings that the footage or incident is distressing. No additional information is provided in the supplied summaries about the type of shark, the exact location at the base, or the circumstances leading to the swim. The focus across the sources is on the severity of the injuries and the existence of video evidence of the attack.