Portuguese may have used GPS to reach India