Shape file
https://www.baruch.cuny.edu/confluence/display/geoportal/ESRI+USA+Data
Shape to GeoJSON:
Tutorial: https://www.statsilk.com/maps/convert-esri-shapefile-map-geojson-format
Pay version: https://mygeodata.cloud/converter/shp-to-geojson
Best free version: https://mapshaper.org/
Somehow it does not work well for zip3 shape, but it helps covert large GeoJSON to the smaller version
@梵总 ./components/Common/CKEditor.js
Module not found: Can't resolve '../../lib/ckeditor5-build-dna' in '/Users/dcai/Projects/next-feathers/next/components/Common'
could be folder naming issue.