Rei da Espanha testa positivo para covid com sintomas leves