Using the Particle Filter as Mitigation to GPS Vulnerability for Navigation at Sea