Should the Navy name a ship after Harvey Milk?