Iran considers European demining of Hormuz, easing 20% oil chokepoint risk