Capital punishment by the United States military