How Batu Pahat get its name?

As you can see beside I'm from Batu Pahat, one of the district in Johor, Malaysia.'Batu pahat' means chiselled stone. Batu Pahat takes it name from an incident when there is a well was said to have been dug by fleeing Siamese troops after a failed attack on Malacca during the reign of Sultan Mansur Syah, the third sultan of Malacca who ruled from 1446 to 1459. The Siamese Soldiers chiselled a hole in the rock until water flowed. The soldiers, who were being pursued by Malacca forces under Bendehara Tun Perak, fled south and sailed back to Siam(Thailand) via the South China Sea. So The district of Batu Pahat takes it name from the incident.