 In the present day, the name is official at the county government level.It appears on County Assessor's maps including "County of San Mateo, Master Index Map, Revision 2, June, 1985", (Redwood City, California