HFR 4713 - DIGEST

      Honors Petty Officer David E. Fish.