Especially now that they handed him his balls.
BTTT
When I was in Cancun at the airport I saw a small airline that was selling tickets to Cuba. I was curious so I asked as a US citizen what I would need. Answer: Your credit card and a drivers license.
It seems there are little restrictions going to/from Cuba and the US Gvt might not even know you are there. I could be wrong but that is what I was told.
BTW, the fair was $55 US one way and $99 RT.