Lançamento: 24 de dezembro de 1988
Lançamento: 24 de dezembro de 1987
Lançamento: 16 de junho de 1987