what is the tonnage of the ship christened by judi dench ?
88,500