Should Ireland’s World Cup playoff come with a national holiday?