Robert E. Henry in the Navy