Con qué otro nombre se conoce al corindón verde.