What was the code name for the army's 1962 planned invasion of Cuba?

Yes, that's "Castro" spelled backwards. You'd think they could come up with something better than that.