Graham Corp. (GHM) stock: price, market cap and recent SEC filings