Brazil: Off-Duty Police Officer with Baby in His Arms Shoots, Kills Two Robbers