20110521 unknown: Osama killing: Obama praises CIA officials