World | Thu Oct 18, 2012 8:45am EDT

Texas to execute man who killed police officer in 1998