Costa Rica ضد Ireland – النتيجة المباشرة