Sounds like a fitting send off for an old sailor! ..And surely your Mom had many former students to pay their respects..
Upon retiring, Gen MacArthur said, "old soldiers never die..they just fade away". The same seems true for old sailors..
A few years ago, I buried my older brother, who also served as a sailor in the Korean war. He served aboard th eIowa class battleship, the USS New Jersey.
Their basic job was to offer fire support for the Army and Marines.. On at least one occasion, they bombarded Wonson, NK for 24 hours.
I can't feature being in the same ship with all that firing..even though they were the largest battleships of the US Navy. ..Plus, he was a gunner's mate in the aft 16" turret..
Sailors earned their applause too !
.