altitude mountains

How and when did Teide's fame as the world's greatest mountain rise?? Probably very old date, not precise, among the sailors who saw their cloud tops protrude from a certain distance.