What is the gain or loss from purchasing a put option on $100,000 face value Treasury bonds with a strike price of $90,000 (90 points) and a premium of 1.5 points ($1,500) with an expiration date at the end of July if the end-of-July selling price for the bonds is $80,000.