Pres Obama makes first public comment on killing of Anwar al-Awlaki at retirement ceremony for Adm. Mike Mullen.