Discoveries by Carlos Leal (astronomer)