1947 Partition war