I think you meant Mike Johnson. Unfortunate for a good guy like Ron Johnson to have the same last name.
Yup, get those Johnsons confused from time to time