20161218 world.rest-of-world: Armed gunmen attack police patrols in Jordanian city of Karak; casualties reported