The Indian Biographical Dictionary (1915)/Stokes, Sir Gabriel