Taxa named by Antenor Leitão de Carvalho