Trent, John, The Hong Kong Institute of Education, Hong Kong