the official name of Brazil between 1889 and 1937