Concise catalogue of oil paintings in the National Maritime Museum