20181203 sports.hockey.hockey-world-cup: Hockey World Cup: Irish men benefit from women team's exploits