A Prediction Market Approach for Collectively Solving an Undefinable Shortest Path Problem