A History of Portugal and the Portuguese Empire by Anthony R. Disney