<human>: Question: In what year was the Royal Dutch Petroleum Company founded?

Is The Royal Dutch Petroleum Company was a Dutch company founded in 1890 to develop an oilfield in Sumatra, and initially led by August Kessler, Hugo Loudon, and Henri Deterding. a good answer to this question?

OPTIONS:
- yes
- no
<bot>: yes