Condolences for the family of Richard Ivan Biggs, Jr.