A popular use of the "navy hymn" is for the funerals of those who have served in or with the united states navy. a president whose funeral included this hymn was ______________.