El tamaño del asteroide que acabó con los dinosaurios