Carson: Trump's 'an OK doctor'