which was the first ship to be launched in 1878?
city of rio de janeiro