Was Plato really just the philosopher's wrestling nickname? Why is that how he's identified in history? What's the best translation we have for that, context retained?