Quantos tipos de dinossauros existem no mundo?