Question: Provide the International Standard Book Number of the book The Mystery in the Rocky Mountains.
SQL: SELECT isbn13 FROM book WHERE title = 'The Mystery in the Rocky Mountains'