Jornal Do Brasilia - Norway's King Harald to stay in hospital to treat infection: doctor