It was formerly known as San Juan del Murciélago.
Tên gọi cũ là San Juan del Murciélago.