Oh, it was Disney, on the Wonder. It was actually the first time any Disney ship had docked in Progreso, and they made a big deal of it there.
I should have said - the tour we did in Progreso was Chichen Itza with Cenote swim. Chichen Itza was a bucket list thing for me, even though we weren't there for that long, and the Cenote swim was way cooler than I had expected (and was the favorite part of the trip for my daughter) - basically swimming in an underground cavern with lots of stalagtites/stalagmites. This was an all-day excursion (we were some of the first ones off the ship, and returned right near all-aboard time, and was expensive, but we liked it. The nearly-perfect weather didn't hurt, either!
We were disappointed at first to miss Grand Cayman (we had been there on a previous trip, and we remember it as the best beach we've ever seen anywhere), but that excursion made us really glad things switched around.