20110503 world.us: US kills Osama bin Laden; blows Pak cover