Israel sends an extra infantry battalion to Lebanon’s border.