Costco--what type of fresh mango now?

What type of fresh mangos are on Costco’s shelves now? I rely on Instacart and it doesn’t specify the type. I only buy Kent and Keitt.

Pretty sure it’s Tommy Atkins from South America.

They had Keitt for a while in August and maybe Sept. I hope they have Kent later in December.