O tamanho do asteroide que exterminou os dinossauros