Ryan,
Thank you for that on this anniversary of this horrible event.
Both my parents were Naval Officers in WW2.

Jack,
Ditto, thanks.

Uncle Charlie