Further investigation found:
Stock: Garrett GT2056V
https://www.garrettmotion.com/turbo-replacement/turbo-diagnostics/ as well as http://www.lostjeeps.com/forum/phpBB3/viewtopic.php?f=5&t=87749&...
It doesn't sound like it's likely you have any lasting damage as you didn't run out of coolant, it just got low and you caught it fairly early. It could be a straightforward coolant leak from a hose or a lose connection, however, since you said it's near the idler pulley it's very possible it's the water pump. The pump may have failed or it may be the gasket,...