Singa (Indonesia) (19th Century)