DEVELOPER: MIAMI-DADE COUNTY