As a native Floridian, even if not from the part where Cuban sandwiches are much more prevalent, you were pretty close. While you may have had one that used pulled pork, its not the way its typically done. If you wanted to get closer to the ones you would find in Tampa or Miami, use roast pork. The way I make mine is on a rotisserie in the air fryer. Tenderloin seasoned with salt, pepper, onion powder, and garlic powder and cut into thin medallions. If you want to go the easier route, you can often find roast pork in the deli sections at grocery stores. Also, you want something along the lines of tavern ham or something with less sweetness than most off the shelf hams that have a good amount of sugar added to them.
Ill give you a pass for the mayo since some areas absolutely use it. I personally hate mayo so I definitely avoid it in mine, but to each their own. I also use plain old yellow mustard in it. Its one of the few ways I think it is the best mustard option.
Such a great combo of flavors.