20120501 world.us: Osama planned to change name of al-Qaida: top US official