Technically? Yes, Correto is it's own separate distribution that Amazon manages porting upstream changes into. Same as how Azul's Zulu is a "competitor" as well.
Practically speaking, it shouldn't matter as they all pass the Java TCK.
Although no TCK we do run > 100,000 open tests, including many popular open-source libraries, frameworks and languages. We're very comfortable standing behind the quality of these binaries :-).