. . . . "United States Navy personnel of the American Revolution" .