Geen enkele pagina verwijst naar Het aandeel van de mariniersbrigade aan de politionele actie op Oost-Java.