Should an American marine be dismissed for criticizing the U.S. president?