Execution of U.S. government worker