communications satellite operated by AsiaSat; formerly Westar 6