the marina district is part of san francisco