¿Cuál fue, durante mucho tiempo, el dinosaurio más largo conocido?