Royal Phuket Marina, one of Asia’s leading yachting facilities, has been put on the market, it