The U.S. Navy will name a ship after gay-rights pioneer Harvey Milk, who in fact served in the Navy before entering politics…