Spanish king in quarantine after COVID-19 contact