Isaac Johannes Lamotius (1646-c. 1718) and his paintings of Indo-West Pacific fishes and other marine animals