20150505 world.us: Obama to name Marine general to become top US military officer