Where does “атол” come from?

атол (Bulgarian) comes from English atoll, from Portuguese atol, from Dhivehi އަތޮޅު, from Prakrit *𑀲𑀁𑀢𑀻𑀞, from Sanskrit *संतीर्थ.

атол (Bulgarian): atoll