Singapore’s ties with Malaysia not affected by differing diplomatic relations with Israel: PM Lee, 30 October 2023