You're right, it's not up to me, it's up to the broader OSM community, and they've very explicitly said it is forbidden to map things that no longer exist: https://wiki.openstreetmap.org/wiki/Good_practice#Don't_map_historic_events_and_historic_features