Option 2 (50/50 equities/short-term treasuries) seems like a safer choice to avoid credit risk, but you could also consider splitting between short-term treasuries and equities to maintain a balanced risk profile.