The Radius of Pluto from the 9 June 1988 Occultation