At least the resulting headache was very short.
Yep. We lost quite a few in the late 70’s. A six month deployemnt meant several weren’t coming back. Some were plane crashes or catrostrophic failures, one was ran over during in the hanger bay a plane movement, several died of natural causes. 5200 people things are gonna happen like that. One even jumped off the ship into the river coming back in to port go figure. They found him washed up two days later.