20171113 world.middle-east: 7.2 magnitude earthquake jolts Iran-Iraq border area