Marina district may refer to one of these places: