It recently occurred to me that I have no idea whether AI-controlled empires trade with each other. So I hopped around to each empire in my game and saw that a few had traded strategic resources. Unfortunately, there was no good way to tell whether empires had done one-off resource trades. Does anyone know whether this happens?