José de Diego Park (us-florida)
Type: leisure=park
Coordinates: 25.805083829528375, -80.20436985035651
Area: 0.01434008984375 km²
OSM tags:
leisure: park
name: José de Diego Park
name:etymology:wikidata: Q1709715