Top 10 insurers by short interest as percentage of float as of May 1