The very first Rotterdam, launched in 1872 (photo: Holland America Line).