Between two oceans : a military history of Singapore from 1275 to 1971