Why does this need the `ship` parameter? Won't the ship always be whatever ship was docked in `oldPort`?