Navy Secretary John Phelan Is Leaving the Pentagon and the Trump Administration