There are viable workarounds.
  1. Export to CSV and then open the file in Excel. The time switches to a 24-hour clock, but it is correct.
  2. Export to HTML, then copy and paste those contents into Excel.