I had a dish on the Serenade of the Seas called Nicaraguan Pork Pie made with a sweet potato topping. Does anyone have this recipe? It is not a Shepard's Pie, the sweet potatoes were piped on to the edges and the center was open. Delicious!!