Egypt: Morsi out, Mansour in