hade ännu vid Porto inga krigshändelser förefallit.