Nederlands Indië; Straat van Gibraltar, rots Nederlands Indië 7 December Divisie; Passage Straat van Gibraltar, westelijk kant van rots zichtbaar