JFK and the ban on Cuban cigars