public JSON.Element SaveState()
 {
     return(JSON.Element.NewObject(new Dictionary <string, JSON.Element>()
     {
         ["travelState"] = JSON.Element.NewString(travelState.ToString()),
         ["currentPointIndex"] = JSON.Element.NewNumber(currentPointIndex),
     }));
 }