Pork tenderloin, mashed potatoes with spinach, cherry tomatoes, stracciatella and butter sauce