decommissioned communications satellite operated by SiriusXM