Officials said the employee was attacked while swimming near a base marina. https://abcnews.com/GMA/News/navy-base-employee-critically-injured-shark-attack-florida/story?id=133730535 via ABC News App