Su OpenStreetMap se non sbaglio non è stato aggiunto nulla. 

È confermato che è esistito? Vi sono ancora dei resti visibili o è tutto andato perduto? In quest'ultimo caso potrebbe essere aggiunto su OpenHistoricalMap¹ che è un progetto simile a OpenStreetMap ma nato per contenere elementi del passato.

¹ https://www.openhistoricalmap.org/