20110521 world.us: Barack Obama praises CIA officials' role in Osama bin Laden killing