More combined majors: Mickelson/Els or Spieth/Thomas?

Phil Mickelson and Ernie Els have won nine combined major championships. Will Jordan Spieth and Justin Thomas surpass that win total?