Mainline leak that was detected by American leak detection pipe repair on the mainline and a lateral line