Building the Portuguese Empire in the 19th century