marskalken Martinez Campos , som den , hvilkenexploderade