Avoiding default: The trillion dollar platinum coin option?