20150504 world.middle-east: Egypt extends army deployment in Gulf by 3 months