A History of Portugal and the Portuguese Empire - A. R. Disney