$DJT market cap on May 31?