This aerial imagery might be useful for this purpose:
https://www.arcgis.com/home/item.html?id=b57b22f5e7384526ae5efadf47aac3ee

But I haven't been able to import this file format into JOSM:
https://community.openstreetmap.org/t/using-tpkx-files-in-josm/143885