konung Johannes af Portugal.