world

U.S.-born al-Qaeda leader Awlaki is killed