The origin of the name Mina dates back to the end of the 19th century and beginning of the 20th century, when it was used to designate a water source ...