State identifies officer, man in machete shooting

Authorities have released the names of an Austin police officer and the man he shot to death on Christmas Eve.