Agave ocahui var. ocahui
These are genera with the same genus name in this classification but a taxonomist hasn't confirmed this as a good taxon or synonym.