Navy wants to push out problem SEALs. But Trump may get in the way.