America's cup XXVII: Stars & Stripes, the official record 1988