The mayor of Miami wants us to militarily intervene in Cuba. The question is: How exactly would we do that?