FBI gives an update on the Pensacola NAS shooting