El distrito sigue siendo hoy llamado Mar Lots.