En la apertura, Hong Kong Disneyland era el parque más pequeño de todos.