Platycerium elephantotis, Schweinf. (1871)