Execution of Edgar Tamayo Arias, in Texas, US