Fyra högre portugisiska embetsmän äro dödade.