sea salt for boiling potatoes + 1/2 tsp more for seasoning the sauce