Sercotel Monasterio San Miguel, El Puerto de Santa María