Irish High Court stays proceedings pending arbitration