Professor Sir Elihu Lauterpacht (1928 - 2017): tributes and obituaries