Fox: Indiana executes man who killed police officer in 2000