Kivégeztek egy rendőrgyilkos férfit Texas-ban