Then-President Donald Trump gave Kim Jong Un the nickname as early as 2017, a day after the North Korean leader tested an intercontinental ballistic missile.
Austin police officers fatally shoot a gunman who killed three people and wounded 14 others at a downtown bar, with the Mayor praising the rapid emergency response....