Capital punishment in the United States military