US Highway Patrol officer kills teen machete attacker