Rodrigo Hernández, primer ejecutado del año en Texas