Portugal’s president tests positive for coronavirus