Defence Implications of a Partition of India into Hindustan and Pakistan