20120504 world.us: Osama bin Laden raid: Obama instructed forces to fight if challenged by Pakistan