Blue hardcover edition of The Old Man and the Sea

I lost my blue hardcover edition of The Old Man and the Sea yesterday around 3pm. I had been reading on a bench near the Hemingway House on Whitehead Street in Key West, Florida Keys, and somehow I set it down and walked off. The book is a well-loved 1999 edition with a dented spine, a coffee stain on the back cover, and a blue wave-themed bookmark sticking out. It means a lot to me—it's my grandfather's copy from years ago, and it's really hard not having it here with me in this sunny stretch of the Florida Keys. If you found it, please get in touch; I'd really appreciate getting it back!