Early stage construction of Barrio Chino, downtown San José