Validation of Martian dust storm trajectories in the Mars PCM using observational datasets | Synapse