GPS da Europa tem mais quatro satélites com tecnologia portuguesa