The king of Ireland's son : an Irish folk tale /