barry seal net worth at death