Might some priest in Henry's entourage have carried a saints' calendar? I know the Spanish explorers who covered what's now the western US did that. Every time they discovered something, they'd look up in the calendar to see what saint's day it was and name it after the saint, which is why that area is now littered with names beginning with "San" and "Santa".