U.K. asks Internet to name ship; Internet chooses “Boaty McBoatface”