Budapest Police Officer Killed, Two Others Injured in Knife Attack