Should the Navy name the ship after Chavez, Peralta or someone else?