Johann V., Portugal, König