While East Timor was a Portuguese colony it was called the highest mountain of Portugal in the twentieth century, since the highest mountain of Portugal proper is of a more modest height.
Lúc Đông Timor còn là thuộc địa của Bồ Đào Nha, nó được gọi là ngọn núi cao nhất của Bồ Đào Nha vào thế kỷ XX, vì ngọn núi cao nhất Bồ Đào Nha hiện thời có chiều cao khiêm tốn hơn.