The Battle of Pasir Panjang Revisited