I have the operations record book for that incident, but no mention of a friendly fire incident