¿Estaría operado el Rey si hubiese optado por la sanidad pública?