President Trump hails killing as major milestone in war on terror.