a battle in 1749
... that the modern separation between West Timor and East Timor resulted from a battle in 1749?
... that the modern separation between <a href="./West_Timor" id="mwBz8" rel="mw:WikiLink" title="West Timor">West Timor</a> and <a href="./East_Timor" id="mwB0A" rel="mw:WikiLink" title="East Timor">East Timor</a> resulted from <b id="mwB0E"><a href="./Battle_of_Penfui" id="mwB0I" rel="mw:WikiLink" title="Battle of Penfui">a battle in 1749</a></b>?