Although no longer known as Ohio