King Arthur overcomes the King of Ireland