The inlet that will become Porto Cervo Marina