“Ships are safe in harbor, but that’s not what ships are for.”