Chuva de diamantes: um fenómeno meteorológico (muito) mais comum do que se pensava