History of Java by pangeran Dipa Nagara, in verse — manuscript by Dipanegara (1785-1855)