Text this: A spectral theorem for a non-Archimedean valued field whose residue field is formally real