general john allen net worth