the Roman Agora, Hadrian's Library, 132 AD