Florida shooter used an AR-15 in massacre