The "Pride of Dover" jumbo ferry.