João, konger af Portugal, se Johan.