Tommy Koh is one of the names most closely associated with Singapore’s use of international law, diplomacy, and maritime governance to advance the interests of a small but globally