Ocean van ‘t Paradijs and Pepinne Ter Elzen sold to Ireland and Norway