Navy would lose 15 ships under Biden’s FY 2023 budget plan