An O(n log n) Algorithm for Single-Source Shortest Paths in Disk Graphs | Synapse