The Marina district is part of San Francisco