Antonio Jacobsen's painted ships on painted oceans (Mariners Museum publication)