GPS satellite