A federal judge’s ruling on the side of the small defense contractor was a rarity, as most company protests against government bidding decisions do not prevail.

© Mike Kai Chen for The New York Times

Some 11 people were missing but 16 were rescued, including three who had injuries consistent with shark bites, the authorities said.

© Denis Poroy/Associated Press