Pandemic propels bond traders towards an electronic future