Portugal in world war II: The Japanese invasion of Timor - Rocha, J. S. (Boletim da comissão portuguesa de história militar, 2016)