Do we know anything about the Roman soldier who killed Archimedes? How soon after did he realize who he had killed? Was he punished for it?