“他过去曾经是一名历史老师”怎么翻译为英语