Por que era necessário a ajuda política dos ingleses na revolução de Porto ?