Trump, by executive order, reinstates federal capital punishment