Hoorn, de hooft stadt van West Vrieslandt (1740)